<?php


/*
 * Backend for syntax highlight
 */



?>